Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·1h·
Discuss: Hacker News
📋Protocol Buffers
Python Fundamentals: case
dev.to·14h·
Discuss: DEV
✅Format Verification
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Zog golang validation library v0.21.4 release!
reddit.com·9h·
Discuss: r/golang
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·13h·
Discuss: Hacker News
🤝Distributed Consensus
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·19h
🔍RegEx Engines
A Wide Reduction Trick (2022)
words.filippo.io·23h·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
Browsers battle over PDF capabilities
pdfa.org·5h
📋Document Standards
Logical implication is a comparison operator
btdmaster.bearblog.dev·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Why We Develop EloqDB Mainly in C++
eloqdata.com·12h·
Discuss: Hacker News
🦀Rust Borrowing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
Philips Hue White Ambiance is actually terrible…
wejn.org·12h
🔓Reverse engineering
CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·9h
🌐WASI
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·15h
🦀Rust Macros